(+ (- 5 1) (+ 3 7))
